An efficient parallel strategy for the perfect domination problem on distance-hereditary graphs

A graph is distance-hereditary if the distance stays the same between any of two vertices in every connected induced subgraph containing both. Two well-known classes of graphs, trees and cographs, both belong to distance-hereditary graphs. In this paper, we first show that the perfect domination problem can be solved in sequential linear-time on distance-hereditary graphs. By sketching some regular property of the problem, we also show that it can be easily parallelized on distance-hereditary graphs.     

在以纯碱为原料的非强酸性水溶液体系中采用酸碱滴定分析的误差来源及分析方法的改进

以三聚磷酸钠生产过程为例,论述了在以纯碱为原料的非强酸性水溶液体系中,由于反应不完全导致反应物中存在少量的碳酸盐,这部分碳酸盐干扰了用酸碱滴定法测量的中和度,并据此提出中和度分析改进方法.由此可以推广到其它以纯碱为原料的非强酸性水溶液体系中.     

影响GPS水准高程的因素及高程拟合方法的探讨

在简单介绍高程系统的基础上，对影响GPS高程精度的几何水准联测误差、卫星分布不对称、星历误差、多路径误差等因素逐一进行了分析，并提出了相应的改进措施。同时，还对高程拟合使用的稳健估计方法进行了探讨。     

平均声压级近似计算误差分析

本文用凸集理论分析了平均声压级近似计算的误差,导出了最大误差计算公式,指出了测量数据在何种状态下误差达到最大值。     

Theory and characteristics of novel variable reluctance 1X resolver

Although brushless resolvers have been used widely as angular position transducers, they are expensive due to their intricate construction, involving a rotary transformer to supply the exciting coils wound on the rotor poles with the current. It is shown theoretically in this paper that the resolver without rotary transformer or brushes can be realized by simple construction, which consists of the stator core with both 4-poles exciting windings and 2-poles output ones and the rotor core carrying no windings. In this resolver the rotor core has minimum gap at one side and a maximum gap at another side of the diameter. It is characterized by an outer surface form that makes the fluctuation part of gap permeance very in proportion to cos θ, where θ represents the angular position of a point in the air gap with respect to the origin on the rotor, the point of minimum air gap. The method determining the rotor form to embody the aforementioned gap permeance variation is also shown. It has been confirmed not only by simulation but also experiment that the 2-phase output voltages of a model designed based on the theory have sinusoidal waveforms with very small harmonic contents. Moreover, the rotor position detected by processing the output voltages through the conventional resolver/digital converter was within acceptable engineering accuracy.     

间断Galerkin方法的最优误差限

本文考虑了数性双曲方程的离散Ｇａｌｅｒｋｉｎ方法。如果精确到光滑的并且同是几乎均匀的，证明了对于分层常数元的最优的和超收敛的误差限。     

Shorts in self-checking circuits

It has been noted by several authors that the classical stuck-at logical fault model might not be an appropriate representation of certain real failures occurring in integrated circuits. Shorts are an important class of such faults. This article gives a detailed analysis of the effects of shorts in self-checking circuits and proposes techniques for dealing with them. More precisely, we show that, unlike other faults such as stuck-at, stuck-on, and stuck-open—which produce only single errors in the place they occur—shorts can produce double errors on the two shorted lines. In particular, feedback shorts can produce double errors on the two shorted lines. The double error is unidirectional for some feedback shorts and non-unidirectional for some others. Furthermore, in some technologies (e.g., CMOS), non-feedback shorts can also produce double non-unidirectional errors. We also show that unlike stuck-at, stuck-on, and stuck-open faults, redundant shorts can destroy the SFS property. Then we propose several techniques for coping with these problems and we illustrate the results by circuit implementation examples.The present study is given for NMOS and CMOS circuits but we show that it is valid for any other technology.     

Bayesian inference in disputed authorship: A case study of cognitive errors and a new system for decision support

Bayesian inference provides a formal framework for assessing the odds of hypotheses in light of evidence. This makes Bayesian inference applicable to a wide range of diagnostic challenges in the field of chance discovery, including the problem of disputed authorship that arises in electronic commerce, counter-terrorism and other forensic applications. For example, when two documents are so similar that one is likely to be a hoax written from the other, the question is: Which document is most likely the source and which document is most likely the hoax? Here I review a Bayesian study of disputed authorship performed by a biblical scholar, and I show that the scholar makes critical errors with respect to several issues, namely: Causal Basis, Likelihood Judgment and Conditional Dependency. The scholar’s errors are important because they have a large effect on his conclusions and because similar errors often occur when people, both experts and novices, are faced with the challenges of Bayesian inference. As a practical solution, I introduce a graphical system designed to help prevent the observed errors. I discuss how this decision support system applies more generally to any problem of Bayesian inference, and how it differs from the graphical models of Bayesian Networks.     

Explosive Random‐Coefficient AR(1) Processes and Related Asymptotics for Least‐Squares Estimation

Abstract. Large sample properties of the least‐squares and weighted least‐squares estimates of the autoregressive parameter of the explosive random‐coefficient AR(1) process are discussed. It is shown that, contrary to the standard AR(1) case, the least‐squares estimator is inconsistent whereas the weighted least‐squares estimator is consistent and asymptotically normal even when the error process is not necessarily Gaussian. Conditional asymptotics on the event that a certain limiting random variable is non‐zero is also discussed.